ÜST EKSTREMİTE CERRAHİSİNDE GELENEKSEL BİER BLOK İLE ÖNKOL BİER BLOK TEKNİĞİN KARŞILAŞTIRMASI
نویسندگان
چکیده
منابع مشابه
On the Blok-Esakia Theorem
We discuss the celebrated Blok-Esakia theorem on the isomorphism between the lattices of extensions of intuitionistic propositional logic and the Grzegorczyk modal system. In particular, we present the original algebraic proof of this theorem found by Blok, and give a brief survey of generalisations of the Blok-Esakia theorem to extensions of intuitionistic logic with modal operators and coimpl...
متن کاملWillem Blok and Modal Logic
We present our personal view on W.J. Blok’s contribution to modal logic.
متن کاملPreface: In memory of Wim Blok
algebraic logic: Full models, Frege systems, and metalogical properties he formulates an institutional analogue of the property of congruence and analyses how it helps in the preservation of other metalogical properties such as conjunction, disjunction, the deduction-detachment theorem, and two versions of reductio ad absurdum. In partial contrast, Raftery’s paper The equational definability of...
متن کاملThe universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
We introduce the bimodal logic S4.Grzu, which is the extension of Bennett’s bimodal logic S4u by Grzegorczyk’s axiom ( (p→ p)→ p)→ p and show that the lattice of normal extensions of the intuitionistic modal logic WS5 is isomorphic to the lattice of normal extensions of S4.Grzu, thus generalizing the Blok–Esakia theorem. We also introduce the intuitionistic modal logicWS5.C, which is the extens...
متن کاملThe Blok-Ferreirim theorem for normal GBL-algebras and its application
Generalized basic logic algebras (GBL-algebras for short) have been introduced in [JT02] as a generalization of Hájek’s BL-algebras, and constitute a bridge between algebraic logic and l-groups. In this paper we investigate normal GBL-algebras, that is, integral GBL-algebras in which every filter is normal. For these structures we prove an analogue of Blok and Ferreirim’s [BF00] ordinal sum dec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cukurova Anestezi ve Cerrahi Bilimler Dergisi
سال: 2020
ISSN: 2667-498X
DOI: 10.36516/jocass.2020.43